turbo prolog